(* Check that "it" is not in the initial basis. *)
val s = it;
